#ifndef NORMALIZED_UTILS_H_
#define NORMALIZED_UTILS_H_
#include "normalized_datatypes.h"

NormalizedConcept* get_exists_restriction(int r, int f);

void put_exists_restriction(int r, int f, NormalizedConcept* c);

NormalizedConcept* get_create_normalized_exists(NormalizedRole* r, NormalizedConcept* f);
#endif
